Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications

We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-time temporal logic (LTL) can be expressed as parity objectives. We study the qualitative analysis problem for POMDPs with parity objectives that asks whether there is a controller (policy) to ensure that the objective holds with probability 1 (almost-surely). While the qualitative analysis of POMDPs with parity objectives is undecidable, recent results show that when restricted to finite-memory policies the problem is EXPTIME-complete. While the problem is intractable in theory, we present a practical approach to solve the qualitative analysis problem. We designed several heuristics to deal with the exponential complexity, and have used our implementation on a number of well-known POMDP examples for robotics applications. Our results provide the first practical approach to solve the qualitative analysis of robot motion planning with LTL properties in the presence of uncertainty

Primary Pericardial Sarcoma: A Case Report and a Brief Review

There are very few cases of primary pericardial sarcomas reported in the English literature. Pericardial tumors, like other cardiac tumors, are most likely to be metastatic in nature and are an extension of primary tumors from the surrounding structures. Sarcomas are the most common primary pericardial tumors. Surgical eradication of the tumor is considered to be the treatment of choice. We are presenting a case of a primary pericardial, high-grade pleomorphic undifferentiated sarcoma that was diagnosed at our institution. We discuss the available diagnostic modalities and also shed light on alternative therapies when patients are not ideal surgical candidates

EveryWear Marketing Plan

An investigative marketing team at Nike has identified an opportunity to acquire the rights to a new Smart Fabric technology. First-pass feasibility investigations look promising: discussion between a Nike engineer and the company that owns the technology paints a plausible picture, and the claimed technical specifications of the material performance imply a promising potential in Nike products. R&D dollars will need to be dedicated in order to nail down the actual performance of these potential products, and New Product Introduction teams will need to investigate the capability to produce and scale. Does the market landscape warrant allocating resources to a more in depth investigation? The investigative marketing team will perform a zero-added-budget examination of the market fit and opportunity. If the results are promising, the investigation will be presented to the leader of their business unit to recommend funding be dedicated to perform more in depth R&D and NPI investigations, as well as to purchase the market reports and fund the market studies to verify the assumptions made by the marketing team

The Effect on the Telecom Industry and Consumers after the Introduction of Reliance Jio

In the world of intense competition amongst all the industries, the telecom industry also does not fail to stay behind. With the belief that the customer is the king, each and every company in India is willing to go to depths and cross lines every day so that they can be that one brand that customers look for. While choosing a Network, one looks for various factors such as Network coverage, the call rates, the internet plan offered and not to forget but the value-added services as well. Satisfying the consumers in each of this aspect is not an easy task. Based on the literature review and after considering the questions we want to answer; the research problem of the research paper is “The Effect on The Consumers and Telecom Industry after the Introduction of Reliance Jio.” The problem mainly focuses on how the telecom industry was before and after Jio, what people believe and perceive about Reliance Jio and what challenges the competitors faced with the introduction of Jio. Based on the research problem, these are some of the objectives of our study, To study the impact of Reliance Jio on the telecom industry, the change in composition of industry, change in market share and the reforms that were undertaken To identify the effect of Jio on common people and consumer behavior To identify the business strategy followed by Jio and its Competitors The methodology used in the research paper was s Single Cross-Sectional Descriptive Design. With the objective and design, the tool used for analysis were Mean, Standard Deviation to compare and analyze the data, also test like the Z-test and Chi-Square Test were done to test the hypothesis. Finally, the findings of the research paper concluded that Jio disrupted the market to such a level forcing competitors to exit or merge, amongst the consumers, the respondents were eager to test the new competitor in the market and thus the research witnessed a significant shift in the network from other networks to Jio. Through our research we recommend that Consumers should try to shift to Jio, with their very low monthly plans and Huge value-added services offered, which the competitors are still not able to achieve, adds to the success of Jio in India

Green Urine

Urinalysis is an integral part of a thorough patient evaluation. Change in urine characteristics can give clues to help solve some of the diagnostic challenges faced by physicians. We discuss a case of a benign cause of green discoloration of urine caused by propofol infusion, which reversed following its discontinuation

IST Austria Technical Report

We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-time temporal logic (LTL) can be expressed as parity objectives. We study the qualitative analysis problem for POMDPs with parity objectives that asks whether there is a controller (policy) to ensure that the objective holds with probability 1 (almost-surely). While the qualitative analysis of POMDPs with parity objectives is undecidable, recent results show that when restricted to finite-memory policies the problem is EXPTIME-complete. While the problem is intractable in theory, we present a practical approach to solve the qualitative analysis problem. We designed several heuristics to deal with the exponential complexity, and have used our implementation on a number of well-known POMDP examples for robotics applications. Our results provide the first practical approach to solve the qualitative analysis of robot motion planning with LTL properties in the presence of uncertainty